Pre - proceedings 10 th International Workshop on Rule - Based Programming RULE 2009
نویسنده
چکیده
Alloy is a lightweight modeling formalism based on relational algebra. In prior work with Fisler,Giannakopoulos, Krishnamurthi, and Yoo, we have presented a tool, Alchemy, that compiles Alloy specificationsinto implementations that execute against persistent databases. The foundation of Alchemy is an algorithmfor rewriting relational algebra formulas into code for database transactions. In this paper we report on recentprogress in improving the robustness and efficiency of this transformation.
منابع مشابه
CHR 2009 — Proceedings of the 6 th International Workshop on Constraint Handling Rules
This volume contains the papers presented at CHR 2009, the sixth international workshop on Constraint Handling Rules, held on July 15th, 2009 at the occasion of ICLP 2009 and IJCAI 2009 in Pasadena (California, USA). Previous workshops on Constraint Handling Rules were organized in May 2004 in Ulm (Germany), in October 2005 in Sitges (Spain) at ICLP, in July 2006 in Venice (Italy) at ICALP, in ...
متن کاملA two-stage stochastic rule-based model to determine pre-assembly buffer content
This study considers instant decision-making needs of the automobile manufactures for resequencing vehicles before final assembly (FA). We propose a rule-based two-stage stochastic model to determine the number of spare vehicles that should be kept in the pre-assembly buffer to restore the altered sequence due to paint defects and upstream department constraints. First stage of the model decide...
متن کاملGraBaTs 2010 4 th International Workshop on Graph Based Tools
The tool HENSHIN is an Eclipse plug-in supporting visual modeling and execution of rule-based EMF model transformations. This paper describes the recent extensions of HENSHIN by control structures for controlled rule applications. The control structures comprise well-known imperative structures like sequences and conditions on rule applications. Moreover, application conditions for individual r...
متن کاملCHR 2013 — Proceedings of the 10 th International Workshop on Constraint Handling Rules
This volume contains the papers presented at CHR 2013, the 10th International Workshop on Constraint Handling Rules held on July 13th 2013 in Berlin (Germany), at the occasion of the Third International Summer School on CHR. This workshop is the tenth in a series of annual CHR workshops. It means to bring together in an informal setting, people involved in research on all matters involving CHR,...
متن کاملProceedings of the Ninth International Workshop on Constraint Handling Rules September 4 th , 2012 Budapest , Hungary
This volume contains the papers presented at CHR 2012, the 9th International Workshop on Constraint Handling Rules held on September 4th, 2012 in Budapest, at the occasion of ICLP 2012. This workshop was the ninth in a series of annual CHR workshops. It means to bring together in an informal setting, people involved in research on all matters involving CHR, in order to promote the exchange of i...
متن کامل